function Hi() {
	var p = document.getElementById("hello");
	//p.SetAttribute("height", "500");
	p.style.fontSize = "20pt";
}